Specification and Testing of E-Commerce Agents Described by Using UIOLTSs
نویسندگان
چکیده
In this paper we expand our work in our specification formalism UIOLTSs. We present three implementation relations and provide alternative characterizations of these relations in terms of the tests that the implementation under test successfully passes. In addition, we present the main ideas to obtain an algorithm to derive complete test suites from
منابع مشابه
Specification and testing of autonomous agents in e-commerce systems
This paper presents a generic formal framework to specify and test autonomous e-commerce agents. First, the formalism to represent the behavior of agents is introduced. The corresponding machinery to define how implementations can be tested follows. Two testing approaches are considered. The first of them, that can be called active, is based on stimulating the implementation under test (IUT) wi...
متن کاملFeasibility of Electronic Commerce at Cooperative in Gilan Province to Select an Appropriate E-Commerce Model by Using Fuzzy Analysis Network Process
Electronic commerce as one of the most important of Innovation aspects in the process of doing business is used by many organizations and companies in the world. Cooperatives as the main part of the country's economy have fundamental role in improving and promoting of economic. Therefore, innovation methods and tools, new processes and perform business tasks such as e-commerce will play an i...
متن کاملFeasibility of Electronic Commerce at Cooperative in Gilan Province to Select an Appropriate E-Commerce Model by Using Fuzzy Analysis Network Process
Electronic commerce as one of the most important of Innovation aspects in the process of doing business is used by many organizations and companies in the world. Cooperatives as the main part of the country's economy have fundamental role in improving and promoting of economic. Therefore, innovation methods and tools, new processes and perform business tasks such as e-commerce will play an i...
متن کاملIdentifying and Ranking the Components and Dimensions of E-Commerce Using the Meta-Synthesis Approach
The present study seeks to identify and prioritize the components and dimensions of e-commerce and categorize them as a comprehensive model by using the meta-synthesis method. In this research, total of 58 articles in the field of E-commerce was identified and examined in the first step. Latin articles were in the period of 1996 to 2017 and Persian articles were related to the period of 2001 to...
متن کاملA New Trust Model for B2C E-Commerce Based on 3D User Interfaces
Lack of trust is one of the key bottle necks in e-commerce development. Nowadays many advanced technologies are trying to address the trust issues in e-commerce. One among them suggests using suitable user interfaces. This paper investigates the functionality and capabilities of 3D graphical user interfaces in regard to trust building in the customers of next generation of B2C e-commerce websit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010